June 2018 Edition Initial Coin Offerings A strategic perspective Authors: Daniel Diemers, Zurich

Source URL: www.pwc.ch

• Cryptocurrencies
• Economy
• Alternative currencies
• Money
• Finance
• Initial coin offering
• Gram
• Huobi
• Filecoin
• Petro
• Everipedia
• PricewaterhouseCoopers

One TPM to Bind Them All: Fixing TPM 2.0 for Provably Secure Anonymous Attestation Jan Camenisch1 , Liqun Chen2 , Manu Drijvers1,3 , Anja Lehmann1 , David Novick4 , and Rainer Urian5 1 IBM Research – Zurich

Source URL: eprint.iacr.org

• Cryptography
• Computer security
• Direct Anonymous Attestation
• Trusted Platform Module
• Trusted Computing Group
• Trusted Computing
• Proof of knowledge
• FiatShamir heuristic
• Non-interactive zero-knowledge proof
• Zero-knowledge proof

Inferring Crypto API Rules from Code Changes Rumen Paletov∗ Petar Tsankov ETH Zurich, Switzerland

Source URL: files.sri.inf.ethz.ch

Enter the Hydra: Towards Principled Bug Bounties and Exploit-Resistant Smart Contracts Lorenz Breidenbach, Cornell Tech, IC3, ETH Zurich; Philip Daian, Cornell Tech, IC3; Florian Tramer, Stanford; Ari Juels, Cornell Tech

Source URL: www.usenix.org

• Cryptocurrencies
• Ethereum
• Blockchains
• Computing
• Alternative currencies
• Concurrent computing
• Distributed computing
• Cross-platform software
• Bug bounty program
• Smart contract
• Software bug
• Bounty

Payment Network Design with Fees arXiv:1810.07585v1 [cs.DS] 17 Oct 2018 Georgia Avarikioti, Gerrit Janssen, Yuyi Wang, and Roger Wattenhofer ETH Zurich, Switzerland

Source URL: arxiv.org

• Mathematics
• Graph theory
• Computational complexity theory
• Network theory
• Edsger W. Dijkstra
• Computational problems
• Shortest path problem
• Dynamic programming
• Graph
• Optimization problem
• Bitcoin
• Max-flow min-cut theorem

Synthesis of Memory Fences via Refinement Propagation Yuri Meshman2 , Andrei Dan1 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich

Source URL: practicalsynthesis.github.io

• Computing
• Computer architecture
• Concurrent computing
• Theoretical computer science
• Computer programming
• Refinement
• Abstract interpretation
• Memory barrier
• Abstraction
• Algorithm
• Thread

Zurich, 5 OctoberMedia Release SWISSPORT EXTENDS REMEDIES STANDSTILL REGARDING AFFILIATE LOAN TO HNA GROUP

Source URL: www.swissport.com

• HNA Group
• Airline catering
• Opfikon
• Swissair
• Swissport
• Business
• Economy of China
• Aircraft ground handling
• Aviation
• Swissport Tanzania

NetHide: Secure and Practical Network Topology Obfuscation Roland Meier∗ , Petar Tsankov∗ , Vincent Lenders , Laurent Vanbever∗ , Martin Vechev∗ ∗ ETH Zürich

Source URL: www.lenders.ch

• Internet architecture
• Computing
• Network architecture
• Routing
• Information and communications technology
• Computer networking
• Internet protocols
• Traceroute
• Hop
• Network topology
• Forwarding plane
• Computer network

NetHide: Secure and Practical Network Topology Obfuscation Roland Meier◦, Petar Tsankov◦, Vincent Lenders, Laurent Vanbever◦, Martin Vechev◦ ◦ ETH Zürich,

Source URL: nsg.romeier.ch

• Electromagnetism
• Transistortransistor logic
• Topology
• Network topology
• Computer network
• Electrical engineering
• Electronics

Boosting the BGP convergence in SDXes with SWIFT Philipp Mao Rüdiger Birkner ETH Zürich

Source URL: swift.ethz.ch

• Computing
• Internet architecture
• Information and communications technology
• Internet
• Computer networking
• Internet Standards
• Internet protocols
• Routing protocols
• Border Gateway Protocol
• Router
• IP routing
• AS3